COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	W12 ← MAT((-1,0,0),(1,1,0),(0,0,1))
C00003 ENDMK
C⊗;
W12 ← MAT((-1,0,0),(1,1,0),(0,0,1));
W23 ← MAT((1,1,0),(0,-1,0),(0,1,1));
W34 ← MAT((1,0,0),(0,1,1),(0,0,-1));

W13 ← W12*W23*W12;
W24 ← W23*W34*W23;
W1←W12↑2;
W1234←W12*W23*W34;